Le principe de pr�caution, r�gle imp�rative ou principe possibiliste en appelant au jugement?

Un Principe de Résolution en Logique Modale

— The applications of modal logic are connected with programming reasoning and for this reason we are interested in developping theorem proving System for it. A resolution-style theorem proving System for modal logic is presented. The two version of Herbrand property are proved. The completeness of the System is given. Nous présentons dans cet article une formalisation des modalités de re parfa...

Le principe de calcul stochastique appliqué au décodage des turbocodes : conception, implémentation et prototypage sur circuit FPGA

The publication of turbo codes in 1993 proved that there were error-correcting codes with performance close to the theoretical limit and which can be used in industrial products. Quickly, turbo codes have been adopted in several standards such as DVB-RCS, UMTS, CDMA2000 and 3GPP-LTE. The increasing demand for high throughput applications in broadband applications until 1 Gb/s and beyond is stro...

Habitude et principe de compatibilité dans le modèle du comportement planifié : décisions pro-environnementales et automobile

Intégration de connaissances a priori dans le principe du maximum d'entropie

Résumé. Cet article montre que si l’on dispose d’une connaissance a priori sur le problème en main, l’intégration de cette dernière dans le processus d’apprentissage d’une machine intelligente pour des tâches de classification peut améliorer la performance de cette machine. Nous étudions l’effet de l’intégration de la connaissance a priori de convexité sur le processus d’apprentissage du princi...

Recherche d'information XML utilisant un principe de vote

RÉSUMÉ. Cet article décrit une approche pour la recherche d’information dans des collections de documents XML. Cette approche utilise une méthode de vote pour déterminer les éléments XML répondant à une requête. Une requête peut combiner des informations sur le contenu recherché, sur la granularité des éléments recherchés et sur les éléments structurels associés aux concepts recherchés. La méth...